33 results
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 September 2023, pp. 1-50
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 17 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 08 July 2022, pp. 1-35
- Print publication:
- March 2024
-
- Article
- Export citation
Generalised powerlocales via relation lifting
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 1 / February 2013
- Published online by Cambridge University Press:
- 30 August 2012, pp. 142-199
-
- Article
- Export citation
On monotone modalities and adjointness
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 2 / April 2011
- Published online by Cambridge University Press:
- 25 March 2011, pp. 383-416
-
- Article
- Export citation
LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 3 / September 2010
- Published online by Cambridge University Press:
- 13 July 2010, pp. 485-519
- Print publication:
- September 2010
-
- Article
- Export citation
Erdős Graphs Resolve Fine's Canonicity Problem
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 186-208
- Print publication:
- June 2004
-
- Article
- Export citation
Atomless varieties
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-614
- Print publication:
- June 2003
-
- Article
- Export citation
Simulating polyadic modal logics by monadic ones
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 2 / June 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 419-462
- Print publication:
- June 2003
-
- Article
- Export citation
Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages
-
- Journal:
- Theory and Practice of Logic Programming / Volume 2 / Issue 3 / May 2002
- Published online by Cambridge University Press:
- 23 April 2002, pp. 419-421
-
- Article
- Export citation
Modal Logic
-
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001
2 - Models
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 50-122
-
- Chapter
- Export citation
3 - Frames
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 123-187
-
- Chapter
- Export citation
Appendix B - An Algebraic Toolkit
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 497-503
-
- Chapter
- Export citation
Preface
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp xi-xxii
-
- Chapter
- Export citation
References
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 524-543
-
- Chapter
- Export citation
Contents
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp vii-x
-
- Chapter
- Export citation
4 - Completeness
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 188-260
-
- Chapter
- Export citation
Dedication
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp v-vi
-
- Chapter
- Export citation
Appendix D - A Guide to the Literature
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 516-523
-
- Chapter
- Export citation
6 - Computability and Complexity
-
- Book:
- Modal Logic
- Published online:
- 05 July 2014
- Print publication:
- 28 June 2001, pp 332-412
-
- Chapter
- Export citation